\begin{tabbing}
$\forall$${\it sv}$, ${\it av}$, ${\it dis}$, ${\it cl}$, ${\it fr}$, ${\it sfr}$, ${\it rfr}$, ${\it afr}$, ${\it bfr}$, $A$, $B$:Top.
\\[0ex]R{-}FeasibleWitness\=\{i:l\}\+
\\[0ex](($A$ $\oplus$ $B$); ${\it sv}$; ${\it av}$; ${\it dis}$; ${\it cl}$; ${\it fr}$; ${\it sfr}$; ${\it rfr}$; ${\it afr}$; ${\it bfr}$)
\-\\[0ex]$\sim$
\\[0ex](R{-}FeasibleWitness\=\{i:l\}\+
\\[0ex]($A$; ${\it sv}$; ${\it av}$; ${\it dis}$; ${\it cl}$; ${\it fr}$; ${\it sfr}$; ${\it rfr}$; ${\it afr}$; ${\it bfr}$)
\-\\[0ex]\& R{-}FeasibleWitness\=\{i:l\}\+
\\[0ex]($B$; ${\it sv}$; ${\it av}$; ${\it dis}$; ${\it cl}$; ${\it fr}$; ${\it sfr}$; ${\it rfr}$; ${\it afr}$; ${\it bfr}$))
\-
\end{tabbing}